(0 15 5)(1 10 7)(2 12 4)(3 13 6)(8 17 16)(9 14 11)
ALLOWS (11/8)-SEQUENCE
1: (3 13 17)
(0 15 5)(1 10 7)(2 12 4)(3 16 8 17 6)(9 14 11)(13)
2: (8 17 16)
(0 15 5)(1 10 7)(2 12 4)(3 16 6)(8)(9 14 11)(13)(17)
3: (2 12 4)
(0 15 5)(1 10 7)(2)(3 16 6)(4)(8)(9 14 11)(12)(13)(17)
4: (1 10 7)
(0 15 5)(1)(2)(3 16 6)(4)(7)(8)(9 14 11)(10)(12)(13)(17)